Search Results

"Formally Verifying Everybody's Cryptography" by Mike Dodds, Joey Dodds (Strange Loop 2022)

"Formally Verifying Everybody's Cryptography" by Mike Dodds, Joey Dodds (Strange Loop 2022)

ICICS2020-103.A Symbolic Model for Systematically Analyzing TEE based Protocols

ICICS2020-103.A Symbolic Model for Systematically Analyzing TEE based Protocols

Formal Methods and a Mathematical Proof of Zero Bugs in Code

Formal Methods and a Mathematical Proof of Zero Bugs in Code

Saw, Cryptol, and blst

Saw, Cryptol, and blst

Formal Verification of Financial Protocols | Martin Lundfall

Formal Verification of Financial Protocols | Martin Lundfall

[SAS] Case Study on Verification-Witness Validators: Where We Are and Where We Go

[SAS] Case Study on Verification-Witness Validators: Where We Are and Where We Go

Formal Verification of Secure Forwarding Protocols

Formal Verification of Secure Forwarding Protocols

"The Early Days of id Software: Programming Principles" by John Romero (Strange Loop 2022)

"The Early Days of id Software: Programming Principles" by John Romero (Strange Loop 2022)

"Blueprints for a Universal Reasoning Machine" by Zenna Tavares (Strange Loop 2022)

"Blueprints for a Universal Reasoning Machine" by Zenna Tavares (Strange Loop 2022)

"A Hipster History of CORS" by Devdatta Akhawe (Strange Loop 2022)

"A Hipster History of CORS" by Devdatta Akhawe (Strange Loop 2022)

[PLARCH23] Silver Oak: Hardware Software Co-Design and Co-Verification in Coq

[PLARCH23] Silver Oak: Hardware Software Co-Design and Co-Verification in Coq

"Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022)

"Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022)